(Info-fontify): reorder face list to avoid bad
authorKarl Berry <karl@gnu.org>
Wed, 6 Nov 2002 00:45:03 +0000 (00:45 +0000)
committerKarl Berry <karl@gnu.org>
Wed, 6 Nov 2002 00:45:03 +0000 (00:45 +0000)
commit58fb3303b29da12e3a8da04fc5bd271b874bd097
tree592ec896fe23622289002b6033f547060356300d
parentb554624bf60a2e7969a64de35d25cb6c37402ac6
(Info-fontify): reorder face list to avoid bad
line breaks.
man/info.texi